выполнимость операции

См. также в других словарях:

• АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… …   Математическая энциклопедия

• Портальная гипертензия — МКБ 10 K …   Википедия

• ОТНОШЕНИЕ — в логике то, что в отличие от свойства характеризует не отдельный предмет, а пару, тройку и т.д. предметов. Традиционная логика не рассматривала О.; в современной логике О. пропозициональная функция от двух или большего числа переменных. Бинарным …   Философская энциклопедия

• Кларк, Марк Уэйн — Марк Уэйн Кларк Mark Wayne Clark Прозвище Контрабанда Дата рождения …   Википедия

• Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

• МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… …   Философская энциклопедия

• СИММЕТРИЧНОСТЬ — (в математике и л о г и к е) – свойство бинарных (двуместных, двучленных) отношений. Отношение R, определенное на нек ром множестве (классе), наз. симметричным, если для любых x и у– элементов этого множества – из того, что x находится в… …   Философская энциклопедия

• НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное …   Математическая энциклопедия

• КУСОЧНО ЛИНЕЙНАЯ ТОПОЛОГИЯ — раздел топологии, изучающий полиэдры. Под полиэдром понимается прежде всего подмножество топологического векторного пространства, представимоо конечным или локально конечным объединением выпуклых многогранников ограниченной размерности, а также… …   Математическая энциклопедия

• Лейбниц, Готфрид Вильгельм — Готфрид Вильгельм Лейбниц Gottfried Wilhelm Leibniz …   Википедия

• Схема Эль-Гамаля — Данные в этой статье приведены по состоянию на ГОСТ Р 34.10 94. Вы можете помочь, обновив информацию в статье …   Википедия